| 1 | William E. Howden
Error-based Validation Completeness
Proceedings of the 11th International Conference on Software Engineering (ICSE'89)Pittsburgh, Pennsylvania, 15-18 May 1989. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Howden89,
author = {William E. Howden},
title = {Error-based Validation Completeness},
booktitle = {Proceedings of the 11th International Conference on Software Engineering (ICSE'89)},
year = {1989},
address = {Pittsburgh, Pennsylvania},
month = {15-18 May},
pages = {357-357}
} |
| 2 | William E. Howden
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering, 8(4), July 1982. |
|
| | Abstract: Different approaches to the generation of test data are described. Error-based approaches depend on the definition of classes of commonly occurring program errors. They generate tests which are specifically designed to determine if particular classes of errors occur in a program. An error-based method called weak mutation testing is described. In this method, tests are constructed which are guaranteed to force program statements which contain certain classes of errors to act incorrectly during the execution of the program over those tests. The method is systematic, and a tool can be built to help the user apply the method. It is extensible in the sense that it can be extended to cover additional classes of errors. Its relationship to other software testing methods is discussed. Examples are included. |
| | @ARTICLE{Howden82,
author = {William E. Howden},
title = {Weak Mutation Testing and Completeness of Test Sets},
journal = {IEEE Transactions on Software Engineering},
year = {1982},
month = {July},
volume = {8},
number = {4},
pages = {371-379}
} |
| 3 | William E. Howden
Weak Mutation Testing and Completeness of Test Sets
{IEEE} Trans. Software Eng., 8(4), 1982. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Howden82,
author = {William E. Howden},
title = {Weak Mutation Testing and Completeness of Test Sets},
journal = {{IEEE} Trans. Software Eng.},
year = {1982},
month = {},
volume = {8},
number = {4},
pages = {371--379}
} |
